Local programming - PDFSEARCH.IO - Document Search Engine

Local programming
Results: 648

#	Item
171	Semi-local string comparison Alexander Tiskin http://www.dcs.warwick.ac.uk/~tiskin Department of Computer Science University of Warwick Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2006-07-07 01:33:40 String Combinatorics NP-complete problems Formal languages Substring Longest common subsequence problem Subsequence Approximate string matching String searching algorithm Mathematics Dynamic programming Theoretical computer science
172	Vehicle Routing and Job Shop Scheduling: What’s the difference?∗ J. Christopher Beck Patrick Prosser and Evgeny Selensky Cork Constraint Computation Center Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Theoretical computer science Vehicle routing problem Job shop scheduling Scheduling Linear programming Guided Local Search Constraint satisfaction Optimization problem Mathematical optimization Operations research Applied mathematics Mathematics
173	GlobSol-user-guide-for-GOMS-revision.dvi Add to Reading List Source URL: interval.louisiana.edu Language: English - Date: 2008-05-28 12:29:59 Computer programming Constraint programming Operations research Fortran Local consistency Constraint Convex optimization Mathematical optimization Computing Software engineering
174	Phylogenetic Footprints and Consitent Sets of Local Alignments Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2011-09-22 14:06:02 Mathematical and theoretical biology Computational phylogenetics Dynamic programming Computational biology Phylogenetic footprinting Smith–Waterman algorithm Phylo STING Science Bioinformatics Applied mathematics
175	Bound Propagation for Arithmetic Reasoning in Vampire Ioan Dragan∗ , Konstantin Korovin † , Laura Kov´acs ‡ , Andrei Voronkov † ∗ Vienna University of Technology Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-12-12 08:44:35 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability Modulo Theories Linear programming Local consistency Theoretical computer science Applied mathematics Mathematics
176	A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-06-09 16:20:27 Constraint programming Logic in computer science Boolean algebra Automated theorem proving Mathematical logic Boolean satisfiability problem DPLL algorithm Local search Davis–Putnam algorithm Theoretical computer science Applied mathematics Mathematics
177	April 2012 Hacker Intelligence Initiative, Monthly Trend Report #8 Remote and Local File Inclusion Vulnerabilities 101 And the Hackers Who Love Them 1. Executive Summary Add to Reading List Source URL: www.imperva.com Language: English - Date: 2012-03-30 14:02:14 PHP programming language PHP Data URI scheme Hacker Include directive Imperva Web application Include vulnerability Computing Software engineering Remote file inclusion
178	Base Users GuideEdition Base Users Guide: 6.1.1 Edition Add to Reading List Source URL: central6.rocksclusters.org Language: English - Date: 2014-04-14 04:23:58 Local area networks Cross-platform software Character encoding String Virtual LAN D Computer cluster PhpMyAdmin Linux kernel Computing Software Computer programming
179	CLP(Intervals) Revisited 1 F. Benhamou D. McAllester P. Van Hentenryck Add to Reading List Source URL: cs.brown.edu Language: English - Date: 2006-08-07 20:12:27 Software engineering Interval arithmetic Constraint logic programming Local consistency Antiderivative Interval Mean value theorem Constraint satisfaction problem Constraint algorithm Constraint programming Mathematics Mathematical analysis
180	Checking and Inferring Local Non-Aliasing∗ Alex Aiken Jeffrey S. Foster University of California, Berkeley Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-05-30 15:56:06 Type system Type inference Software engineering Theoretical computer science Type theory Programming language theory Program analysis

UPDATE